hdmi input recording